// author by welong
// zuowl@qq.com
// 2014-09-04  8:47
// PAT basic 1023

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv)
{
	int i, j, count = 0;
	int num[10];
	char *str;
	
	for(i = 0; i < 10; i++)
	{
		scanf("%d", &num[i]);
		count += num[i];
	}
	str = (char*)malloc(count + 1);
	
	for(j = 1; j < 10; j++)
	{
		if(num[j] != 0)
		{
			str[0] = j + '0';
			num[j]--;
			break;
		}
	}

	for(i = 1; i < count; i++)
	{
		for(j = 0; j < 10; j++)
		{
			if(num[j] != 0)
			{
				num[j]--;
				str[i] = j + '0';
				break;
			}
		}
	}

	str[i] = 0;
	printf("%s", str);
	return 0;
}